Interactive proof system

Results: 103



#Item
91Applied mathematics / Zero-knowledge proof / Interactive proof system / IP / NP / Soundness / Commitment scheme / Alice and Bob / Proof of knowledge / Cryptography / Theoretical computer science / Cryptographic protocols

PDF Document

Add to Reading List

Source URL: www.austinmohr.com

Language: English - Date: 2007-04-27 02:36:21
92Complexity classes / Probabilistically checkable proof / Interactive proof system / NP / NEXPTIME / P versus NP problem / IP / P / Clique problem / Theoretical computer science / Computational complexity theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2008-03-13 15:36:52
93Computational complexity theory / Interactive proof system / IP / Zero-knowledge proof / NP / Probabilistic Turing machine / Alice and Bob / Oblivious transfer / Non-interactive zero-knowledge proof / Theoretical computer science / Cryptography / Cryptographic protocols

PDF Document

Add to Reading List

Source URL: theory.lcs.mit.edu

Language: English
94Probabilistic complexity theory / Cryptographic protocols / IP / Interactive proof system / Arthur–Merlin protocol / NP / Zero-knowledge proof / Proof of knowledge / QMA / Theoretical computer science / Computational complexity theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: theory.lcs.mit.edu

Language: English
95Complexity classes / Probabilistic complexity theory / NP / IP / Interactive proof system / Bounded-error probabilistic polynomial / PP / Randomized algorithm / XTR / Theoretical computer science / Computational complexity theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: theory.lcs.mit.edu

Language: English
96Complexity classes / NP-complete / P versus NP problem / NP / Boolean satisfiability problem / Natural proof / Interactive proof system / Reduction / P / Theoretical computer science / Computational complexity theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2010-05-13 09:39:04
97Complexity classes / NP / P versus NP problem / Interactive proof system / Oracle machine / P / Bounded-error probabilistic polynomial / NEXPTIME / EXPTIME / Theoretical computer science / Computational complexity theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2010-05-13 09:39:02
98Verifiable secret sharing / Interactive proof system / Claude Crépeau / Gödel Prize / Pseudorandom function family / Zero-knowledge proof / Provable security / Oblivious transfer / Non-interactive zero-knowledge proof / Cryptography / Cryptographic protocols / Silvio Micali

PDF Document

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2013-05-18 10:50:53
99Complexity classes / Mathematical proofs / Probabilistic complexity theory / Mathematical optimization / Interactive proof system / NP / Probabilistically checkable proof / IP / P versus NP problem / Theoretical computer science / Computational complexity theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: groups.csail.mit.edu

Language: English - Date: 2003-04-15 15:57:54
100Applied mathematics / Distance-bounding protocol / IP / NEXPTIME / Formal verification / Alice and Bob / Public-key cryptography / Man-in-the-middle attack / Interactive proof system / Cryptography / Cryptographic protocols / Theoretical computer science

PDF Document

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2012-08-29 07:20:33
UPDATE